$\forall$$T$:Type, ${\it eq}$:EqDecider($T$), $L$:($T$ List). remove{-}repeats(${\it eq}$; $L$) $\in$ ($T$ List)